Symbolic-Numeric Estimation of Kinetic Parameters in Biochemical Pathways by Quantifier Elimination
نویسندگان
چکیده
The sequencing of complete genomes allows analyses of the interactions between various biological molecules on a genomic scale, which prompted us to simulate the global behaviors of biological phenomena on the molecular level. One of the basic mathematical problems in the simulation is the parameter optimization in the kinetic model for complex dynamics, and many optimization methods have been designed. Here, we introduce a new approach to optimize the parameters in biological kinetic models by quantifier elimination (QE), in combination with numerical simulation methods [3]. The optimization method was applied to a model for the inhibition kinetics of HIV proteinase with ten parameters and nine variables [1, 2].
منابع مشابه
A New Approach for Symbolic-Numeric Optimization in Biological Kinetic Models
The sequencing of complete genomes allows analyses of interactions between various biological molecules on a genomic scale, which prompted us to simulate the global behaviors of biological phenomena on the molecular level. One of the basic mathematical problems in the simulation is the parameter optimization in the kinetic model for complex dynamics, and many optimization methods have been desi...
متن کاملA Practical Implementation of a Symbolic-Numeric Cylindrical Algebraic Decomposition for Quantifier Elimination
Recently quantifier elimination (QE) has been of great interest in many fields of science and engineering. In this paper an effective symbolic-numeric cylindrical algebraic decomposition (SNCAD) algorithm and its variant specially designed for QE are proposed based on the authors’ previous work and our implementation of those is reported. Based on analysing experimental performances, we are imp...
متن کاملParameter Optimization in Network Dynamics Including Unmeasured Variables by the Symbolic-numeric Approach∗
In this report, we propose a new symbolic-numeric method of differential algebra and a numerical parameter optimization algorithm. First, we utilize differential elimination, which is an algebraic approach for rewriting a system of differential equations into another equivalent system, to derive the constraints between the kinetic parameters from the original system. Second, we introduce these ...
متن کاملComputational Polynomial Algebra and Its Biological Applications
This is an informal note that provides basic information about methods and software tools of resultants, triangular sets, Gröbner bases, real solving, quantifier elimination, and symbolic-numeric computation developed in computational polynomial algebra. Some recent applications of the methods and tools to the study of biological networks are discussed briefly.
متن کاملRobust Nonlinear Feedback Design via Quantifier Elimination Theory
In this paper symbolic-computation methods are used to design simple, fixed-structure, robust controllers for nonlinear systems. Design specifications are reduced to logically quantified polynomial inequalities. The quantifier-elimination (QE) software package QEPCAD is used to eliminate quantifiers on state and plant parameters, to obtain regions of admissible controller parameters, and to gua...
متن کامل